Single-Write Safe Consensus using Constrained Inputs

The solvability of consensus in iterated models extended with safe-consensus

The safe-consensus task was introduced by Afek, Gafni and Lieber (DISC’09) as a weakening of the classic consensus. When there is concurrency, the consensus output can be arbitrary, not even the input of any process. They showed that safe-consensus is equivalent to consensus, in a wait-free system. We study the solvability of consensus in three shared memory iterated models extended with the po...

Using Sticky Bits for Wait-Free Synchronization1

In this paper we consider implementation of atomic wait-free objects in the context of a shared-memory multiprocessor. We introduce a new primitive object, the \Sticky-Bit", and show its universality by proving that any safe implementation of a sequential object can be transformed into a wait-free atomic one using only Sticky Bits and safe registers. The Sticky Bit may be viewed as a memory-ori...

DATA ENVELOPMENT ANALYSIS WITH FUZZY RANDOM INPUTS AND OUTPUTS: A CHANCE-CONSTRAINED PROGRAMMING APPROACH

In this paper, we deal with fuzzy random variables for inputs andoutputs in Data Envelopment Analysis (DEA). These variables are considered as fuzzyrandom flat LR numbers with known distribution. The problem is to find a method forconverting the imprecise chance-constrained DEA model into a crisp one. This can bedone by first, defuzzification of imprecise probability by constructing a suitablem...

Design of a Model Based Compensator for MIMO Systems with Time Delays and Constrained Inputs

Fast, Accurate Creation of Data Validation Formats by End-User Developers

Inputs to web forms often contain typos or other errors. However, existing web form design tools require end-user developers to write regular expressions (“regexps”) or even scripts to validate inputs, which is slow and errorprone because of the poor match between common data types and the regexp notation. We present a new technique enabling end-user developers to describe data as a series of c...